top_command (cmd_load currentFile [])
top_command (cmd_compute_toplevel DefaultCompute "not false")
-- Reload to test that pragmas are respected when interface files are
-- used.
top_command (cmd_load currentFile [])
top_command (cmd_compute_toplevel DefaultCompute "not false")
